(assert QF_BV
